Integral by trig substitution